Skip to content

Conversation

@Girgias
Copy link
Member

@Girgias Girgias commented Oct 22, 2025

A sourcegraph search reveals that nobody uses this API.

@Girgias Girgias marked this pull request as ready for review October 23, 2025 14:38
@Girgias Girgias requested a review from dstogov as a code owner October 23, 2025 14:38
@Girgias Girgias requested review from TimWolla and nielsdos October 23, 2025 14:39
Copy link
Member

@TimWolla TimWolla left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It's marked internal, so this is reasonable to me. Please fix the style bits, but other than that it LGTM.

@Girgias Girgias force-pushed the closure-move-zend_api_function branch from 207a543 to d901c38 Compare October 25, 2025 16:23
@Girgias Girgias merged commit 275ec6f into php:master Oct 25, 2025
10 checks passed
@Girgias Girgias deleted the closure-move-zend_api_function branch October 25, 2025 21:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants